Skip to content

Rename Fragment to MeasuredFragment#406

Closed
mgeisler wants to merge 1 commit intomasterfrom
measured-fragment
Closed

Rename Fragment to MeasuredFragment#406
mgeisler wants to merge 1 commit intomasterfrom
measured-fragment

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

@mgeisler mgeisler commented Jul 6, 2021

This name better matches the new SplittableFragment trait in #402.

This name better matches the new `SplittableFragment` trait in #402.
@mgeisler mgeisler force-pushed the measured-fragment branch from 7462bf5 to 9d25e28 Compare July 6, 2021 14:26
@mgeisler
Copy link
Copy Markdown
Owner Author

mgeisler commented Jul 9, 2022

This is obsolete now, I'm pretty happy with the current Fragment trait.

@mgeisler mgeisler closed this Jul 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant